<?php
if(isset($_SESSION['groupe']))
$value = $_SESSION['groupe'];

echo'<div id="menu">
	   
		<ul>';
	  	 if(!isset($value)){
			echo'<li><a href="cAccueil"><b>Connexion</b></a></li>';
	  	 }
			echo'<li><a href="cReport"><b>Saisir un report</b></a></li>';
				if(isset($value) && $value==3){
					echo'<li><a href="cAttribution"><b>Attribuer droits</b></a></li>';
				}
				if(isset($value) && $value==3 || isset($value) && $value==2){
					echo'<li><a href="cAttributionAppli"><b>Attribuer application</b></a></li>
					<li><a href="cGestionDroit"><b>Gestion des droits</b></a></li>';
				}
			if (isset($value) && $value != ""){
				
	    	  echo '<li><a href="cMyReport"><b>Mes reports</b></a></li>
	    			<li><a id="deconnexion"><b>Déconnexion</b></a></li>
					<li id="logMenu"><a><b> Bonjour '.$_SESSION['login'].'</b></a></li>';
			}
			
		echo'</ul>
	   
	</div>';
	?>